Kripke semantics - PDFSEARCH.IO - Document Search Engine

Kripke semantics
Results: 182

#	Item
151	[removed]DEMO — A Demo of Epistemic Modelling∗ Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2010-11-17 12:25:53 Mathematics Epistemic modal logic Kripke semantics Common knowledge Accessibility relation Negation XTR FO Logic Mathematical logic Modal logic
152	Hundred prisoners and a lightbulb Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2010-11-17 08:06:52 Philosophical logic Modal logic Non-classical logic Epistemic modal logic Common knowledge Kripke semantics Prisoner of war Counter Partition Logic Mathematics Mathematical logic
153	The Gamut of Dynamic Logics∗ Jan van Eijck† and Martin Stokhof‡ 15th July 2005 Abstract Dynamic logic, broadly conceived, is the logic that analyses change by decomposing actions into their basic building blocks an Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2010-11-17 11:26:53 Philosophical logic Model theory Non-classical logic Dynamic logic Epistemic modal logic Kripke semantics First-order logic Hoare logic Actor model Logic Mathematical logic Modal logic
154	Dynamic Epistemic Logics Jan van Eijck Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2013-12-13 11:13:35 Philosophical logic Model theory Metalogic Non-classical logic Epistemic modal logic Kripke semantics Common knowledge Doxastic logic First-order logic Logic Mathematical logic Modal logic
155	Model Checking of Restricted CTL* formulas using ALCKR+ Taufiq Rochaeli and Claudia Eckert Department of Computer Science Technische Universitt Darmstadt {rochaeli,eckert}@sec.informatik.tu-darmstadt.de Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Temporal logic Semantics Ontology Linear temporal logic CTL* Kripke semantics Abox Tbox Interpretation Logic Mathematical logic Philosophy of language
156	Classical Modal Display Logic in the Calculus of Structures and Minimal Cut-free Deep Inference Calculi for S5 Add to Reading List Source URL: users.cecs.anu.edu.au Language: English - Date: 2007-05-11 02:54:57 Non-classical logic Substructural logic Inference Philosophical logic Structural proof theory Sequent calculus Deep inference Sequent Kripke semantics Logic Mathematical logic Proof theory
157	Deep Sequent Systems for Modal Logic ¨nnler Kai Bru Add to Reading List Source URL: www.iam.unibe.ch Language: English - Date: 2006-03-24 13:00:48 Mathematics Sequent calculus Sequent Symbol Soundness Kripke semantics Natural deduction Admissible rule Logic Proof theory Mathematical logic
158	May 15, 2007 — To be presented at HyLo’07 (Part of ESSLLI[removed]Deep Inference for Hybrid Logic Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2007-05-15 05:01:27 Philosophical logic Deduction Automated theorem proving Natural deduction Method of analytic tableaux Deduction theorem Kripke semantics Sequent calculus Modal logic Logic Mathematical logic Proof theory
159	Categorical and Kripke Semantics for Constructive S4 Modal Logic Natasha Alechina1 , Michael Mendler2, Valeria de Paiva3 , and Eike Ritter4 Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-20 11:12:09 Modal logic Philosophical logic Non-classical logic Logic in computer science Kripke semantics Intuitionistic logic General frame Natural deduction Interior algebra Logic Mathematical logic Mathematics
160	Gabbay Publications Chronological Publications List Add to Reading List Source URL: www.dcs.kcl.ac.uk Language: English Philosophical logic Model theory Modal logic Non-monotonic logic Kripke semantics Temporal logic Intermediate logic Proof theory First-order logic Logic Mathematical logic Non-classical logic

UPDATE